Qualitative Reasoning about Continuous Processes with the Situation Calculus
نویسنده
چکیده
A fundamental aspect of general reasoning about physical systems is qualitative reasoning about continuous processes. The situation calculus is proposed as a framework for qualitative reasoning with some desirable properties that are less evident in the traditional framework, qualitative physics. However, in order to handle qualitative reasoning about continuous properties, we extend the concurrent, temporal situation calculus to include function variables. We show how parameters that are functions of time are specified by successor state axioms in terms of pieces of other functions of time. Finally, we present a qualitative bouncing ball example.
منابع مشابه
Reasoning about Continuous Processes Content Areas Qualitative Reasoning, Temporal Reasoning Word Count 6700 on Leave from Fg Intellektik, Th Darmstadt Reasoning about Continuous Processes Content Areas Qualitative Reasoning, Temporal Reasoning Id Number A288
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain events. Such events are points in time at which the equations describing the system's behavior|i.e., the equations which specify the ongoing processes| change. Between two events the system's parameters stay continuous. ...
متن کاملExploiting Qualitative Spatial Neighborhoods in the Situation Calculus
We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segment based calculus, the dipole calculus and necessary extensions for representing navigational concepts like turn right. We investigate how its conceptual neighborhood structure can be applied in the situation calculus for reaso...
متن کاملA Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus
We propose the utilisation of a general formalism to reason about action & change for reasoning about the dynamic purpose-directed aspects of spatial change. Such an approach is necessary toward the general integration of qualitative spatial reasoning with reasoning about the teleological aspects of spatial change. With this as the overall context, the main contribution of this paper is to illu...
متن کاملContinuous Processes in the Fluent Calculus
Among the known predicate calculus formalisms for axiomatizing commonsense reasoning about actions, the Fluent Calculus stands out in offering a solution not only to the representational but also the inferential aspect of the fundamental Frame Problem. In this paper we extend this formalism to modeling hybrid systems, which involve both discrete and continuous change. We borrow basic notions fr...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کامل